Una forma sentencial de una Gramatica G=(Σ N, P, S) se define recursivamente:

1. S, el símbolo inicial, es una forma sentencial.
2. Si αβλ es una forma sentencial, y β→δ ∈ P es una producción de G,
   entonces αδλ es también una forma sentencial de G

Es decir, una forma sentencial es cualquier secuencia de símbolos terminales y no- terminales ω ∈ (Σ ∪ N)^* tal que S ⇒^*ω (se deriva en cero más pasos a partir de S).

Para las Gramáticas Libres de Contexto, β es siempre un no-terminal.

Forma Sentencial Izquierda/Derecha

Una forma sentencial es izquierda (derecha) si es producto de una Derivacion izquierda (derecha).